1. .....................
پدیدآورنده : Horstmann, Cay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automat )Formal language(,، Mathematical notations
رده :
QA
267
.
3
.
H67
2. .....................
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Formal language
رده :
QA
267
.
3
.
S24
3. Algebraic semantics
پدیدآورنده : Guessarian, Ir،ne
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal language - Semantics
رده :
QA
76
.
L4
v
.
99
4. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
5. Communication and concurrency
پدیدآورنده : Robin, Miler
موضوع : Computer systems,Machine theory,Formal language
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Cryptography,automata and learning theory
پدیدآورنده : / Gnanaraj Thomas
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Computer network - Security measure,Cryptography,Formal language
رده :
TK5105
.
59
.
T46
2011
7. Elaements de thaeorie des automates.English
پدیدآورنده : Jacques Sakarovitch ; translated by Reuben Thomas
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd
رده :
QA
267
.
S22E4
2009
8. Elements of the theory of computation
پدیدآورنده : LEWIS,HARRY R
کتابخانه: (طهران)
موضوع : MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
L49
9. Finite-state methods and natural language processing
پدیدآورنده : / Anssi Yli-Jyrea ... [et al.], (Eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
رده :
QA76
.
9
.
N38F76
2010
10. Formal language and their relation to automata
پدیدآورنده : Hopcroft , John E. 9391-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Formal language,، Machine theory
رده :
QA
267
.
3
.
H6
11. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...
پدیدآورنده : / Robert H. Gilman
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses
رده :
512
.
2
A528G
12. Introduction to formal language theory
پدیدآورنده : Harrison, Michael A
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Formal language
رده :
QA
267
.
3
.
H37
13. Investigating Pedagogical Digital Game-Based English Language Learning Formally vs. Informally as Method, Tutor and Tool Among Iranian University Learner-Players
پدیدآورنده : /فلاح وزیرآباد، آیلار
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Digital Game-Based Language Learning, Formal vs. Informal Learning, Kahoot, Phrasal Verb, Phrasal Nerds,بازی دیجیتال آموزش زبان انگلیسی‌رسمی و غیر رسمی کاهوت‌باهم آیی ها و فریزال نردز
14. Language Prototyping : An Algebraic specification Approach
پدیدآورنده : Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematical Linguistics,Formal language
رده :
QA
.
L3M3
267
15. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
16. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
17. Mathematical foundations of programming
پدیدآورنده : Beckman, Frank S.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Logic, symbolic and mathematical,، Formal Language
رده :
QA
9
.
B36
18. Scientific Applications of Language Methods
پدیدآورنده : \ edited by Carlos Martín-Vide.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
QA
267
.
3
.
S28
2011
E-Book
,
19. Scientific applications of language methods
پدیدآورنده : edited by Carlos Martín-Vide.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
20. Scientific applications of language methods
پدیدآورنده : edited by Carlos Martín-Vide.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
